$\forall$$P$, $Q$:$\mathbb{P}$. \{$P$ $\Leftarrow\!\Rightarrow$ $Q$\} $\Rightarrow$ \{($\downarrow$$P$) $\Leftarrow\!\Rightarrow$ ($\downarrow$$Q$)\}